Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

Source URL: cgi.csc.liv.ac.uk

• Complexity classes
• Mathematics
• Theoretical computer science
• Discrete mathematics
• EXPTIME
• P
• Reachability problem
• Matrix
• Controllability
• Decidability
• Reachability
• Word problem

From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Formal languages
• Mathematics
• Discrete mathematics
• Graph theory
• Abstract semantic graph
• Graph
• Rewriting
• Graph rewriting

Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy

Source URL: cgi.csc.liv.ac.uk

• Finite automata
• Model checking
• -automaton
• Bchi automaton
• Deterministic automaton
• Muller automaton
• Weak Bchi automaton

Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta

Source URL: cgi.csc.liv.ac.uk

• Game theory
• Non-cooperative games
• Evolutionary game theory
• Nash equilibrium
• Strategy
• Solution concept
• Evolutionarily stable strategy
• Zero-sum game
• Normal-form game
• Folk theorem
• Epsilon-equilibrium

Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien

Source URL: cgi.csc.liv.ac.uk

• Music
• Applied mathematics
• Cybernetics
• Theoretical computer science
• Mathematics
• Genetic algorithms
• Model checking
• Simulated annealing
• Control theory
• Synthesizer
• Crossover
• Algorithm

Master Thesis Proposal Biomedical Engineering Development and evaluation of a smart phone app for the quantification of chewing performance 5

Source URL: www.artorg.unibe.ch

Host Identity Protocol Extensions for the Traversal of Network Address Translators Vivien Schmitt Master Thesis May 2006

Source URL: eggert.org

Hendrik D. Visse Catalysis of CO oxidation using the kinetic Monte Carlo method Bachelor thesis June 21th, 2012

Source URL: pub.math.leidenuniv.nl

USETDA 2018 Conference Sponsorship Opportunities The United States Electronic Thesis and Dissertation Association (USETDA) has announced their 8th annual conference to be held September, 2018, at the Embassy Suite

Source URL: www.usetda.org